$\forall$$T$:Type, $l_{1}$, $l_{2}$, $l_{3}$:$T$ List. $l_{2}$ $\leq$ $l_{3}$ $\Rightarrow$ $l_{1}$ $\leq$ $l_{2}$ $\Rightarrow$ $l_{1}$ $\leq$ $l_{3}$